Data type - PDFSEARCH.IO - Document Search Engine

Data type
Results: 6762

#	Item
841	PCAXIS.MSG 5-1 __________________________________________________________________________ Text File for Messages in PC-AXIS for Windows When the program reads a text it uses 2 keywords, the first is found within brackets Add to Reading List Source URL: www.scb.se Language: English - Date: 2013-11-17 01:39:38 Data types Type theory Variables Open SQL Batch file Extensible Storage Engine Exec Microsoft Excel Computing Software Scripting languages
842	Draft Typed Objects in JavaScript Nicholas D. Matsakis David Herman Add to Reading List Source URL: smallcultfollowing.com Language: English - Date: 2015-05-29 14:49:35 Data types Type theory Cross-platform software C++ Object-oriented programming Type system JavaScript Pointer Prototype-based programming Software engineering Computing Computer programming
843	Multi-stage Programming for Mainstream Languages Edwin Westbrook Mathias Ricken Jun Inoue Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2010-03-24 17:48:20 C++ Type theory Subroutines Data types Functional programming Eval C++ classes Type system Closure Software engineering Computing Computer programming
844	2009 Paper 5 Question 2 Compiler Construction Consider an ML-like language in which the set of values includes functions and these functions may have nested definitions. (a) Explain how a function value may be represent Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:31 C++ Data types Procedural programming languages Cross-platform software Type theory Scope Variable Reference ALGOL 68 Software engineering Computing Computer programming
845	What effects do errors in the classification and diagnosis of data have on the epidemiological studies in which they occur? This problem was discussed in the July issue of the Journal by Diamond and Lilienfeld. Their int Add to Reading List Source URL: www.epidemiology.ch Language: English - Date: 2010-01-06 15:36:10 Medical statistics Design of experiments Hypothesis testing Spam filtering Type I and type II errors Prevalence Screening Statistics Epidemiology Health
846	Data by Type of Operation Container Transport ● Fleet Sizes of Full Container Transport Operators 2011 Ranking 1 Add to Reading List Source URL: www.nyk.com Language: English - Date: 2012-05-08 22:07:00 Container ships CMA CGM Compagnie Générale Transatlantique Orient Overseas Container Line Mitsui O.S.K. Lines Maersk United Arab Shipping Company COSCO Zim Integrated Shipping Services Transport Shipping Port operating companies
847	Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France, Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:30 Type theory Data types Computability theory Formal methods Models of computation Lambda calculus C++ classes Type system ALGOL 68 Software engineering Programming language theory Computing
848	GADTs and exhaustiveness: looking for the impossible Jacques Garrigue and Jacques Le Normand 1 Synopsys Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2015-05-19 19:25:32 Functional languages Procedural programming languages Type theory Data types OCaml Type system ALGOL 68 ML Caml Software engineering Programming language theory Computing
849	Object Constraint Language (OCL): A Definitive Guide Jordi Cabot1 and Martin Gogolla2 1 ´ Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2013-01-09 10:54:10 ISO standards Data management Object-oriented programming Data types Type theory Object Constraint Language ECO EXPRESS Domain-specific language Software engineering Computing Unified Modeling Language
850	2 USEFUL LINEAR ALGEBRA (REPRISE) Introduction to MATLAB Reading • Spencer and Ware (2008), secs. 1-7, 9-9.3, . • For reference: Matlab online help desk Add to Reading List Source URL: geodynamics.usc.edu Language: English - Date: 2013-08-04 13:37:01 Array programming languages Numerical linear algebra MATLAB Functional languages GNU Octave Array programming Array data type R Differential equation Software Computing Mathematical software

UPDATE